Higher-order psi-calculi
نویسندگان
چکیده
Psi-calculi is a parametric framework for extensions of the pi-calculus; in earlier work we have explored their expressiveness and algebraic theory. In this paper we consider higher-order psi-calculi through a technically surprisingly simple extension of the framework, and show how an arbitrary psi-calculus can be lifted to its higher-order counterpart in a canonical way. We illustrate this with examples and establish an algebraic theory of higher-order psi-calculi. The formal results are obtained by extending our proof repositories in Isabelle/Nominal.
منابع مشابه
Mathematical Structures in Computer Science Higherorder Psicalculi Higher-order Psi-calculi †
In earlier work we explored the expressiveness and algebraic theory Psi-calculi, which form a parametric framework for extensions of the pi-calculus. In the current paper we consider higher-order psi-calculi through a technically surprisingly simple extension of the framework, and show how an arbitrary psi-calculus can be lifted to its higher-order counterpart in a canonical way. We illustrate ...
متن کاملExtending Psi-calculi and their Formal Proofs
Psi-calculi is a parametric framework for extensions of the pi-calculus, with arbitrary data structures and logical assertions for facts about data. This thesis presents broadcast psi-calculi and higher-order psi-calculi, two extensions of the psi-calculi framework, allowing respectively one-to-many communications and the use of higher-order process descriptions through conditions in the parame...
متن کاملPsi-calculi: a framework for mobile process calculi : Cook your own correct process calculus - just add data and logic
Johansson, M. 2010. Psi-calculi: a framework for mobile process calculi. Cook your own correct process calculus just add data and logic. Acta Universitatis Upsaliensis. Uppsala Dissertations from the Faculty of Science and Technology 94. 184 pp. Uppsala. ISBN 978-91-554-7818-6. A psi-calculus is an extension of the pi-calculus with nominal data types for data structures, logical assertions, and...
متن کاملPsi-calculi: a framework for mobile processes with nominal data and logic
The framework of psi-calculi extends the pi-calculus with nominal datatypes for data structures and for logical assertions and conditions. These can be transmitted between processes and their names can be statically scoped as in the standard pi-calculus. Psi-calculi can capture the same phenomena as other proposed extensions of the pi-calculus such as the applied pi-calculus, the spi-calculus, ...
متن کاملSorted Psi-calculi with Generalised Pattern Matching
Psi-calculi is a parametric framework for extensions of the pi-calculus, with arbitrary data structures and logical assertions for facts about data. In this paper we extend the applicability of psi-calculi in three ways. Firstly, we introduce patterns and pattern matching, in order to allow modelling of computations on the term language. Secondly, we add sorts to the data term language, to remo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Mathematical Structures in Computer Science
دوره 24 شماره
صفحات -
تاریخ انتشار 2014